firmware/vgabios: Fix incorrect formatting string

bios_len is an long, so requires %ld rather than %d.

Coverity ID: 1055813

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: Ian Campbell <Ian.Campbell@citrix.com>
CC: Keir Fraser <keir@xen.org>
CC: Jan Beulich <JBeulich@suse.com>
CC: Ian Jackson <Ian.Jackson@eu.citrix.com>

diff --git a/tools/firmware/vgabios/biossums.c b/tools/firmware/vgabios/biossums.c
index d5816f420b311359eef6f0787ebebd44e7fa9d12..628849861ae51cb577d135d679ec42b22cfe65ec 100644 (file)
--- a/tools/firmware/vgabios/biossums.c
+++ b/tools/firmware/vgabios/biossums.c
@@ -161,7 +161,7 @@ int main(int argc, char* argv[])
       exit(EXIT_FAILURE);
     }
     if (fwrite(bios_data, 1, bios_len, stream) < bios_len) {
-      printf("Error writing %d KBytes to %s.\n", bios_len / 1024, argv[1]);
+      printf("Error writing %ld KBytes to %s.\n", bios_len / 1024, argv[1]);
       fclose(stream);
       exit(EXIT_FAILURE);
     }